g:AbGrp. Comm(|g|;*) 

latex

Up	groups 1
Definitions of Statement	Mon, Group{i}, AbGrp
Definitions	True, T, t  T, x:A. B(x), P  Q, Mon, SqStable(P), Group{i}, AbGrp
Lemmas	abgrp wf, grp op wf, grp car wf, sq stable comm